THE FLORIDA STATE UNIVERSITY COLLEGE OF ARTS AND SCIENCES CONTENT MARKUP LANGUAGE DESIGN PRINCIPLES By

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . xi 1. OVERVIEW . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.1 The Problem Area . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.1.1 A Deceptively Simple Problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.1.2 Problems of Quick-and-Dirty Solutions . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 A Better Understanding for More Principled Solutions . . . . . . . . . . . . . . . . . . 4 1.2.1 The Linguistics Parallel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.2.2 Content Markup Language Architecture . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.2.3 The Compositionality Principle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.2.4 Categorial Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2. INTRODUCTION . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.1 The Research Area . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.2 Markup . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 2.3 Markup Language . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 2.4 Content Markup . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 2.5 The Mathematical Markup Language: Content and Presentation Markup for Mathematics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 2.6 Presentation Markup . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2.7 Markup Language Design . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 2.8 The Research Topic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 2.9 Understanding Content Markup Language Design . . . . . . . . . . . . . . . . . . . . . . 19 2.10 Towards Understanding Content Markup Language Design . . . . . . . . . . . . . . 20 2.11 The Linguistics Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 2.11.1 Compositionality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 2.11.2 Categorial Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 2.11.3 Language Architecture: Layers and Components . . . . . . . . . . . . . . . . . . 23 3. HISTORICAL TIME-LINES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3.1 A Modern Prophecy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3.2 Recent Wish Lists . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3.3 Early Beginnings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 3.4 Many Parallel Strands – 1993–1994 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 3.5 Two Bundles and Some Loose Strands – 1995 . . . . . . . . . . . . . . . . . . . . . . . . . 32